ua nt - p h / 02 01 09 5 v 1 2 2 Ja n 20 02 QUANTUM HIDDEN SUBGROUP ALGORITHMS : A MATHEMATICAL PERSPECTIVE

The ultimate objective of this paper is to create a stepping stone to the development of new quantum algorithms. The strategy chosen is to begin by focusing on the class of abelian quantum hidden subgroup algorithms, i.e., the class of abelian algorithms of the Shor/Simon genre. Our strategy is to make this class of algorithms as mathematically transparent as possible. By the phrase “mathematically transparent” we mean to expose, to bring to the surface, and to make explicit the concealed mathematical structures that are inherently and fundamentally a part of such algorithms. In so doing, we create symbolic abelian quantum hidden subgroup algorithms that are analogous to the those symbolic algorithms found within such software packages as Axiom, Cayley, Maple, Mathematica, and Magma. As a spin-off of this effort, we create three different generalizations of Shor’s quantum factoring algorithm to free abelian groups of finite rank. We refer to these algorithms as wandering (or vintage ZQ) Shor algorithms. They are essentially quantum algorithms on free abelian groups A of finite rank n which, with each iteration, first select a random cyclic direct summand Z of the group A and then apply one iteration of the standard Shor algorithm to produce a random character of the “approximating” finite group à = ZQ, called the group probe. These characters are then in turn used to find either the order P of a maximal cyclic subgroup ZP of the hidden quotient group Hφ, or the entire hidden quotient group Hφ. An integral part of these wandering quantum algorithms is the selection of a very special random transversal ιμ : à −→ A, which we refer to as a Shor transversal. The algorithmic complexity of the first of these wandering Shor algorithms is found to be O ( n (lgQ) (lg lgQ) ) . Date: January 21, 2002. 1991 Mathematics Subject Classification. Primary: 81-01, 81P68.